منابع مشابه
analysis of ruin probability for insurance companies using markov chain
در این پایان نامه نشان داده ایم که چگونه می توان مدل ریسک بیمه ای اسپیرر اندرسون را به کمک زنجیره های مارکوف تعریف کرد. سپس به کمک روش های آنالیز ماتریسی احتمال برشکستگی ، میزان مازاد در هنگام برشکستگی و میزان کسری بودجه در زمان وقوع برشکستگی را محاسبه کرده ایم. هدف ما در این پایان نامه بسیار محاسباتی و کاربردی تر از روش های است که در گذشته برای محاسبه این احتمال ارائه شده است. در ابتدا ما نشا...
15 صفحه اولInstrumentation Readings versus Numerical Analysis of Taham Dam
Dam construction is one of the challenges among large-scale projects of a country. Among different types of dams, due to special features, earth dams are the most kind of dams that were constructed in Iran in the past three decades. Features such as efficiency and stability of earth dams have an important effect on their operation and prevent them to be damaged. Taham dam is clay core dam which...
متن کاملProgram Instrumentation and Trace Analysis
Several attempts have been made recently to apply techniques such as model checking and theorem proving to the analysis of programs. This shall be seen as a current trend to analyze real software systems instead of just their designs. This includes our own effort to develop a model checker for Java, the Java PathFinder 1, one of the very first of its kind in 1998. However, model checking cannot...
متن کاملDynamic binary analysis and instrumentation
Dynamic binary analysis (DBA) tools such as profilers and checkers help programmers create better software. Dynamic binary instrumentation (DBI) frameworks make it easy to build new DBA tools. This dissertation advances the theory and practice of dynamic binary analysis and instrumentation, with an emphasis on the importance of the use and support of metadata. The dissertation has three main pa...
متن کاملThe Impact of Instrumentation on Chemical Species Identity From Chemical Substances to Molecular Species
Every science is about certain objects or entities. Talking about objects in an unambiguous and constant way requires a notion of identity. Usually, scientists take that for granted or implicitly use a certain notion without further reflection. The notion of identity thus becomes part of their habitual ontological commitment. Sometimes, however, ontological issues emerge in the forefront of sci...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1964
ISSN: 0028-0836,1476-4687
DOI: 10.1038/203906b0